It has long been recognized that temporal anaphora in French and English depends on the aspectual distinction between events and states. For example, temporal location as well as temporal update depends on the aspectual type. This paper presents a general theory of aspect-based temporal anaphora, which extends from languages with grammatical tenses (like French and English) to tenseless languages (e.g. Kalaallisut). This theory also extends to additional aspect-dependent phenomena and to non-atomic aspectual types, processes and habits, which license anaphora to (...) proper atomic parts (cf. nominal pluralities and kinds). (shrink)

In this paper we propose a formal theory of partitions (ways of dividing up or sorting or mapping reality) and we show how the theory can be applied in the geospatial domain. We characterize partitions at two levels: as systems of cells (theory A), and in terms of their projective relation to reality (theory B). We lay down conditions of well-formedness for partitions and we define what it means for partitions to project truly onto reality. We continue by classifying well-formed (...) partitions along three axes: (a) degree of correspondence between partition cells and objects in reality; (b) degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) degree of completeness and exhaustiveness with which a partition represents reality. This classification is used to characterize three types of partitions that play an important role in spatial information science: cadastral partitions, categorical coverages, and the partitions involved in folk categorizations of the geospatial domain. (shrink)

In English, discourse reference to time involves grammatical tenses interpreted as temporal anaphors. Recently, it has been argued that conditionals involve modal discourse anaphora expressed by a parallel grammatical system of anaphoric modals. Based on evidence from Kalaallisut, this paper argues that temporal and modal anaphora can be just as precise in a language that does not have either grammatical category. Instead, temporal anaphora directly targets eventualities of verbs, without mediating tenses, while modal anaphora involves anaphoric moods and/or attitudinal verbs.

Description Logics are nowadays widely accepted as formalisms which provide reasoning facilities which allow us to discover inconsistencies in ontologies in an automatic fashion. Where ontologies are developed in modular fashion, they allow changes in one module to propogated through the system of ontologies automatically in a way which helps to maintain consistency and stability. For this feature to be utilized effectively, however, requires that domain ontologies be represented in a normalized form.

This paper provides an axiomatic formalization of a theory of foundational relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the is-a relation among universals and the part-of relation among individuals as well as cross-category relations such as instance-of, member-of, and partition-of. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical (...) for formal ontology. We provide examples to support this thesis from the domain of biomedicine. (shrink)

We analyze Case in terms of independent constraints on syntactic structures — namely, the Projection Principle (inherent Case), the ECP (marked structural Case), and the theory of extended projections (the nominative, a Caseless nominal projection). The resulting theory accounts for (1) the government constraint on Case assignment, (2) all major Case systems (accusative, ergative, active, three-way, and split), (3) Case alternations (passive, antipassive, and ECM), and (4) the Case of nominal possessors. Structural Case may correlate with pronominal agreement because the (...) former can, and the latter must, involve antecedent-government by a functional head. However, neither phenomenon implies the other. (shrink)

The development of explicit theories of dynamic context change has led to a fundamentally new perspective on the interpretation of discourse. In this paper I show that this development also opens up the possibility of approaching subclausal composition along similar lines. More specifically, I argue that a dynamic theory where type-driven rules apply directly to overt surface structures and fill in missing information by building anaphoric bridges is more faithful to natural language semantics than the classical Montagovian approach.

Simple Mandarin Chinese texts translated into Update with Centering. Notes toward a directly compositional fragment of Mandarin Chinese, combining Categorial Grammar with Update with Centering, to appear in Bittner (in prep.) "Temporality: Universals and Variation".

Building upon Nancy Cartwright's discussion of models in How the Laws of Physics Lie, this paper addresses solid state research in transition metal oxides. Historical analysis reveals that in this domain models function both as the culmination of phenomenology and the commencement of theoretical explanation. Those solid state chemists who concentrate on the description of phenomena pertinent to specific elements or compounds assess models according to different standards than those who seek explanation grounded in approximate applications of the Schroedinger equation. (...) Accurate accounts of scientific debate in this field must include both perspectives. (shrink)

The central claim of this paper is that surface-faithful word-by-word update is feasible and desirable, even in languages where word order is supposedly free. As a first step, in sections 1 and 2, I review an argument from Bittner 2001a that semantic composition is not a static process, as in PTQ, but rather a species of anaphoric bridging. But in that case the context-setting role of word order should extend from cross-sentential discourse anaphora to sentence-internal anaphoric composition. This can (...) be spelled out as a two-part hypothesis. First, in all languages anaphoric composition derives incremental updates based on the topological order rather than the syntactic hierarchy. And secondly, rigid vs. free word order is simply rigid vs. free mapping from syntax to topology. To formalize this hypothesis, I first present, in section 3, Sevensorted Logic of Change with Centering. This makes it possible, in section 4, to articulate a system of constraints on basic meanings in Kalaallisut — a polysynthetic language with free word order, ideally suited to test the hypothesis of incremental update. The key assumptions about topology as the input to anaphoric composition are spelled out in section 5, which concludes the development of a general formal framework. This formal framework then serves, in sections 6 through 8, t o explicate topologically based incremental updates for increasingly more complex samples of an actual Kalaallisut text. This reveals ubiquitous patterns of prominence-guided anaphora, in all semantic domains, t o increasingly more complex types of discourse referents. These anaphoric patterns show that the context-setting role of word order indeed does extend from discourse to word-to-word anaphora. And this, in turn, strongly supports the hypothesis of topologically based anaphoric composition. Finally, in section 9 I adduce evidence from English that this hypothesis also holds for languages with rigid word order, albeit the fixed mapping keeps the topology close to the syntax. I conclude that both free and rigid word orders receive a natural account if semantic composition is viewed as topologically based anaphoric bridging.. (shrink)

We propose a new account of vagueness and approximation in terms of the theory of granular partitions. We distinguish different kinds of crisp and non-crisp granular partitions and we describe the relations between them, concentrating especially on spatial examples. We describe the practice whereby subjects use regular grid-like reference partitions as a means for tempering the vagueness of their judgments, and we demonstrate how the theory of reference partitions can yield a natural account of this practice, which is referred to (...) in the literature as ‘approximation’. (shrink)

Day 4 of advanced course on "Crosslinguistic compositional semantics" at 2009 LSA Summer Institute at UC Berkeley. Plan to today: (a) Introduction (syn-sem traits of English vs. Kalaallisut, scope corollary), (b) UC1 + event (re)centering = UC2, (c) English and Kalaallisut in CCG+UC2, (d) Analysis of Kalaallisut BA.TO.L (review) vs. English SA.SU.S (new).

In this paper, we propose a performative account of hinge epistemology to make the case for a feminist hinge epistemology. We characterize it as follows: 1) there are hinges that enable and govern our ordinary epistemic practices, functioning as rules; 2) these hinges are enacted and actualized in the specific actions of agents that participate in such practices; 3) this makes room for the transformation and emergence of hinges; 4) against this background, we argue in favor of the possibility of (...) feminist hinges. This novel account opens the way for hinge epistemology to be useful for feminist goals in epistemology, which we believe is the ultimate criterion for hinge epistemology to be legitimately feminist. (shrink)

Published in extended form as "Endurants and Perdurants in Directly Depicting Ontologies", -/- We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate in such processes. For this purpose we distinguish between ontologies and metaontology. Ontologies are based on very simple directly depicting languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct (...) though compatible systems of categories. In a SNAP (snapshot) ontology we have the enduring entities in a given domain as they exist to be inventoried at some given moment of time. In a SPAN ontology we have perduring entities such as processes and their parts and aggregates. We argue that both kinds of ontology are required, together with the meta-ontology which joins them together. On the level of meta-ontology we are able to impose constraints on ontologies of a sort which can support efficient processing of large amounts of data. (shrink)

The theory of granular partitions is designed to capture in a formal framework important aspects of the selective character of common-sense views of reality. It comprehends not merely the ways in which we can view reality by conceiving its objects as gathered together not merely into sets, but also into wholes of various kinds, partitioned into parts at various levels of granularity. We here represent granular partitions as triples consisting of a rooted tree structure as first component, a domain satisfying (...) the axioms of Extensional Mereology as second component, and a mapping (called ’projection’) of the first into the second as a third component. We define ordering relations among granular partitions the resulting structures are called partition frames. We then introduce an axiomatic theory which sentences are interpreted in partition frames. (shrink)

So far, we have focused on discourse reference to atomic individuals and specific times, events, and states. The basic point of the argument was that all types of discourse reference involve attention-guided anaphora (in the sense of Bittner 2012: Ch. 2). We now turn to discourses involving anaphora to and by quantificational expressions. Today, we focus on quantification over individuals but the analysis we develop will directly generalize to other semantic types. The basic idea is that quantification is one (...) more species of top-level anaphora--to wit, anaphora to top-ranked sets. (shrink)

There has been a significant increase in the use of radiological services in the past 30 years. There are many reasons for this, but one has received little attention: the increased role of patient autonomy in healthcare. Patients demand x rays, CT scans, MRI, and positron emission tomography scans. The key question in this article is how a moral principle, such as respect for patient autonomy, can influence the extension of radiological services. A literature review reveals how patient autonomy is (...) acknowledged in radiology, and how it is used both to explain and to justify the increase in radiological examinations. Furthermore, it also shows how the premises favouring patients’ exercise of their autonomy are not always present, which makes patient autonomy subject to adverse side effects and even abuse. Patient autonomy can be used to reduce the professionals’ responsibility for radiological examinations , to increase the popularity of the profession , to increase the income of the professionals or their institutions, and to promote professional activity. Patient autonomy intended to reduce paternalism, to legitimise otherwise morally unjustifiable actions , and to protect patients, can easily be used as a moral means for opposite ends. These adverse effects are not peculiar to radiology. However, they emerge particularly clearly in explanations and justifications of the substantial increase in radiological services, as well as in debates on overuse of radiological services. (shrink)

I investigate the reciprocal relationship between social accounts of knowledge production and efforts to increase the representation of women and some minorities in the academy. In particular, I consider the extent to which feminist social epistemologies such as Helen Longino’s critical contextual empiricism can be employed to argue that it is in researchers’ epistemic interests to take active steps to increase gender diversity. As it stands, critical contextual empiricism does not provide enough resources to succeed at this task. However, considering (...) this view through an employment equity lens highlights areas where such theories need to be further developed. I argue that views such as Longino’s ought to attend to nuances of community structure and cultural features that inhibit critical social interactions, if we are to maximize the epistemic as well as the ethical improvements associated with a social approach to knowing. These developments advance these epistemic theories for their own sake. They also help develop these theories into a tool that can be used by those calling for increased diversity in the academy. (shrink)

: The Hamblin-Karttunen approach has led to many insights about questions in English. In this article the results of this rule-by-rule tradition are reconsidered from a crosslinguistic perspective. Starting from the type-driven XLS theory developed in Bittner (1994a, b), it is argued that evidence from simple questions (in English, Polish, Lakhota and Warlpiri) leads to certain revisions. The revised XLS theory then immediately generalizes to complex questions — including scope marking (Hindi), questions with quantifiers (English) and multiple wh-questions (English, (...) Hindi, Japanese). Eliminating language- and construction-specific information from the compositional rules, in favor of universal semantic filters, leads to analyses that not only generalize across unrelated languages but are also empirically more accurate, not less. (shrink)

Delusions have traditionally been considered the hallmark of mental illness, and their conception, diagnosis and treatment raise many of the fundamental conceptual and practical questions of psychopathology. One of these fundamental questions is whether delusions are understandable. In this paper, we propose to consider the question of understandability of delusions from a philosophy of language perspective. For this purpose, we frame the question of how delusions can be understood as a question about the meaning of delusional utterances. Accordingly, we ask: (...) “what meaning(s) can delusional utterances possibly have?”. We argue that in the current literature, there is a standard approach to the meaning of delusional utterances, namely the descriptive account which assumes that a delusional utterance “p” means that p is the case. Drawing on Speech Act Theory, we argue that solely relying on the descriptive account disregards essential ways of how linguistic meaning is constituted. Further, we show that Speech Act Theory can prove a helpful addition to the theoretical and clinical “toolbox” used for attempting to understand delusional utterances. This, we believe, may address some of the theoretical and clinical shortcomings of using only the currently predominant descriptive account. (shrink)

Are there such things as moral truths? How do we know what we should do? And does it matter? Constructivism states that moral truths are neither invented nor discovered, but rather are constructed by rational agents in order to solve practical problems. While constructivism has become the focus of many philosophical debates in normative ethics, meta-ethics and action theory, its importance is still to be fully appreciated. These new essays written by leading scholars define and assess this new approach in (...) ethics, addressing such questions as the nature of constructivism, how constructivism improves our understanding of moral obligations, how it accounts for the development of normative practices, whether moral truths change over time, and many other topics. The volume will be valuable for advanced students and scholars of ethics and all who are interested in questions about the foundation of morality. (shrink)

We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentionality; it (...) provides an account of how cells and subcells relate to objects in reality. We define a notion of well-formedness for partitions, and we give an account of what it means for a partition to project onto objects in reality. We continue by classifying partitions along three axes: (a) in terms of the degree of correspondence between partition cells and objects in reality; (b) in terms of the degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) in terms of the degree of completeness with which a partition represents this domain. (shrink)

This paper describes quantificational structures in Greenlandic Eskimo (Kalaallisut), a language where familiar quantificational meanings are expressed in ways that are quite different from English. Evidence from this language thus poses some formidable challenges for cross-linguistic theories of compositional semantics.

Ergative languages make up a substantial percentage of the world’s languages. They have a case system which distinguishes the subject of a transitive verb from that of an intransitive, grouping the latter with the object — that is, the object of a transitive verb and the subject of an intransitive verb are in the same case, which we refer to as the nominative. However, ergative languages differ from one another in important ways. In Greenlandic Eskimo the nominative, whether it is (...) a subject or an object, is syntactically prominent in the clause, much like a subject in English; but in Warlpiri, the nominative is not prominent, more like an object. The variable prominence of the nominative manifests itself as well in the semantics, e.g., default scope of indefinite and quantified nominals. Using data from Greenlandic Eskimo and Warlpiri, and from Hindi, which represents a split ergative system, this paper develops a general theory of case which explains the observed differences amongst ergative languages. In addition, the theory is designed to account for the accusative language type, represented by English. (shrink)

Amele (Papuan, New Guinea) is a tense-mood-based language (in the typology of Bittner 2014) with an elaborate system of clause chaining, including switch reference (SR) and serial verb constructions (SVC). This draft analyzes two interlinear Amele texts (from Roberts 2007) in Update with Centering of Bittner (2014). The basic idea is that an SR-chain is a topic-comment sequence about a 'topical development' — i.e. a topic time framing a chain of causally linked events. In contrast, an SVC is (...) a chain of verbs that jointly introduce a single eventuality into discourse. (shrink)

Theological synthesis of religious doctrine with evolutionary science is commonly referred to as theistic evolution. The influential Thomistic school of theology has played a complex role in Catholic contributions to this subject. In the present essay I explore this historical legacy and take stock of recent Thomistic contributions to theistic evolution. I also highlight some unresolved issues, particularly those associated with the concept of substantial form. I conclude that theistic evolution within a Thomistic framework is a potentially more promising agenda (...) for Catholic theology than an incorporation of intelligent design and progressive creation. (shrink)

The Eskimo language Kalaallisut (alias West Greenlandic) has traditionally been described as having a rich tense system, with three future tenses (Kleinschmidt 1851, Bergsland 1955, Fortescue 1984) and possibly four past tenses (Fortescue 1984). Recently however, Shaer (2003) has challenged these traditional claims, arguing that Kalaallisut is in fact tenseless.

Partee (1973) noted anaphoric parallels between English tenses and pronouns. Since then these parallels have been analyzed in terms of type-neutral principles of discourse anaphora. Recently, Stone (1997) extended the anaphoric parallel to English modals. In this paper I extend the story to languages of other types. This evidence also shows that centering parallels are even more detailed than previously recognized. Based on this evidence, I propose a semantic representation language (Logic of Change with Centered Worlds), in which the observed (...) parallels can be formally analyzed. (shrink)

This paper introduces a framework for direct surface composition by online update. The surface string is interpreted as is, with each morpheme in turn updating the input state of information and attention. A formal representation language, Logic of Centering, is defined and some crosslinguistic constraints on lexical meanings and compositional operations are formulated.

Rooth & Partee (1982) and Rooth (1985) have shown that the English-specific rule-by-rule system of PTQ can be factored out into function application plus two transformations for resolving type mismatch (type lifting and variable binding). Building on these insights, this article proposes a universal system for type-driven translation, by adding two more innovations: local type determination for gaps (generalizing Montague 1973) and a set of semantic filters (extending Cooper 1983). This system, dubbed Cross-Linguistic Semantics (XLS), is shown to account for (...) various phenomena — including scope relations in English and Greenlandic Eskimo, internally headed relative clauses in Lakhota, serial verbs in Yoruba and VP ellipsis in English. (shrink)

Day 1 of advanced course on "Temporal anaphora in tenseless languages" at 2006 ESSLLI.

The text develops philosophical considerations on the “institutional” dimension of marriage. First of all, the meaning of “institution” is problematized, as it is so much disputed and controversially interpreted today. On the one hand, in fact, it is circumscribed to denote a repressive reality— restraining, delaying, even disciplining—considered necessary and rescuing by some scholars, yet harmful and dangerous by others. On the other hand, accentuating its verbal form, “institution” is also understood in terms of movement, as the novelty that results (...) from the act of instituting, as a discontinuity that opens a field of possibilities. Paul Ricoeur considers institutions as part of the ethical tripod, i.e., of the ways through which human beings can flourish. In the context of these divergent understandings, this paper secondly considers the possibility to speak of marriage as an institution and to take marriage rituals as an example both of rite of passage and aggregation rituals. Bourdieu says that the separation achieved in rituals has a “consecrating” effect. Third, the paper questions whether functional and symbolic changes in marriage and marriage rituals can affect their institutional status and problematize their consequences. (shrink)

Neuroimaging studies have found that adult male psychopaths show reduced engagement of limbic and paralimbic circuitry while making moral judgments. The goal of this study was to investigate whether these findings extend to adolescent males with psychopathic traits. Functional MRI was used to record hemodynamic activity in 111 incarcerated male adolescents while they viewed unpleasant pictures that did or did not depict moral transgressions and rated each on “moral violation severity”. Adolescents were assessed for psychopathic traits using the Psychopathy Checklist-Youth (...) Version (PCL-YV), Kiddie Schedule for Affective Disorders and Schizophrenia-Present and Lifetime Version (KSADS-PL) Conduct Disorder supplement, and Inventory of Callous and Unemotional Traits-Youth Version (ICU-Y). While viewing pictures depicting moral transgressions, CD scores were negatively correlated with hemodynamic responses in the anterior temporal cortex. Adolescents scoring low on the ICU-Y showed a positive correlation between right amygdala responses and severity of violation ratings; those with high ICU-Y scores showed a negative correlation. While viewing unpleasant pictures with and without moral transgressions, PCL-YV scores were negatively correlated with hemodynamic responses in the left amygdala. Overall, the results are consistent with those previously found in adult male psychopaths, but vary depending on the type of psychopathy assessment. (shrink)

Natural languages exhibit a great variety of grammatical paradigms. For instance, in English verbs are grammatically marked for tense, whereas in the tenseless Eskimo-Aleut language Kalaallisut they are marked for illocutionary mood. Although time is a universal dimension of the human experience and speaking is part of that experience, some languages encode reference to time without any grammatical tense morphology, or reference to speech acts without any illocutionary mood morphology. Nevertheless, different grammatical systems are semantically parallel in certain respects. Specifically, (...) I propose that English tenses form a temporal centering system, which monitors and updates topic times, whereas Kalaallisut moods form a modal centering system, which monitors and updates modal discourse referents. To formalize these centering parallels I define a dynamic logic that represents not only changing information but also changing focus of attention in discourse (Update with Centering, formalizing Grosz et al 1995). Different languages can be translated into this typed logic by directly compositional universal rules of Combinatory Categorial Grammar (CCG) The resulting centering theory of tense and illocutionary mood draws semantic parallels across different grammatical systems. The centering generalizations span the extremes of the typological spectrum, so they are likely to be universal. In addition, the theory accounts for the translation equivalence of tense and illocutionary mood in a given utterance context. Following Stalnaker (1978) I assume that the very act of speaking up has a ‘commonplace effect’ on the context. It focuses attention on the speech act and thereby introduces default modal and temporal topics. These universal defaults complement language-specific grammars, e.g. English tenses and Kalaallisut moods. In a given utterance context the universal discourse-initial defaults plus language-specific grammatical marking may add up to the same truth conditions.. (shrink)

Crosslinguistically, causative constructions conform to the following generalization: If the causal relation is syntactically concealed, then it is semantically direct. Concealed causatives span a wide syntactic spectrum, ranging from resultative complements in English to causative subjects in Miskitu. A unified type-driven theory is proposed which attributes the understood causal relation—and other elements of constructional meaning—to type lifting operations predictably licensed by type mismatch at LF. The proposal has far-reaching theoretical implications not only for the theory of compositionality and causation, but (...) also for the underlying theory of events, space, and time, in natural language discourse. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate therein. For this purpose we introduce the notion a directly depicting ontology. Directly depicting ontologies are based on relatively simple languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and employ distinct though compatible systems of categories. A SNAP (snapshot) ontology comprehends enduring entities such as (...) organisms, geographic features, or qualities as they exist at some given moment of time. A SPAN ontology comprehends perduring entities such as processes and their parts and aggregates as they unfold themselves through some temporal interval. We give an axiomatic account of the theory of directly depicting ontologies and of the core parts of the metaontological fragment within which they are embedded. (shrink)

The paper draws a philosophy of dwelling based on a re-evaluation of the notion of vulnerability, which is interpreted in a non-negative sense as constitutive of human being. In this way it outlines ethical and ontological perspectives by focusing on the highlighted relevance of place.

In this paper, we discuss some rather puzzling facts concerning the semantics of Warlpiri expressions of cardinality, i.e. the Warlpiri counterparts of English expressions like one,two, many, how many. The morphosyntactic evidence, discussed in section 1, suggests that the corresponding expressions in Warlpiri are nominal, just like the Warlpiri counterparts of prototypical nouns, eg. child. We also argue that Warlpiri has no articles or any other items of the syntactic category D(eterminer). In section 2, we describe three types of readings— (...) "definite", "indefinite" and "predicative"—which are generally found with Warlpiri nouns, including those which correspond to English common nouns and cardinality expressions. A partial analysis of these readings is sketched i n section 3. Since Warlpiri has no determiner system, we hypothesize that the source of (in)definiteness in this language is semantic. More specifically, we suggest that Warlpiri nominals are basically interpreted as individual terms or predicates of individuals and that their three readings arise as a consequence of the interaction of their basic meanings, which are specific to Warlpiri, with certain semantic operations, such as type shifting (Rooth and Partee 1982, Partee and Rooth 1983, Partee 1986, 1987), which universally can or must apply in the process of compositional semantic interpretation. (shrink)

Abstract: The text considers “places” as a plot of conditions for the possibility for human existence, as interweavings of social, cultural, symbolic and material factors on which existence is nourished and which, at the same time, it transforms. Understanding vulnerability as an ontological characteristic of human beings, “taking care” therefore should be considered as the practical disposition to respond to the “event of place” moving towards an increase in being and good. Moreover, in the sphere of healthcare practice, treatments should (...) be included in this broader perspective. This means that the treatment places become understood in reference to the overall conditions that promote health. The result is also a different self-understanding of medicine. (shrink)

This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is critical for (...) geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online. (shrink)

I propose that Mandarin ｡-sentences (units marked by ｡) are aspectual topic-comment sequences, where an initial update (terminating in a pause) introduces a topic state for comment by one or more clauses. Each comment anaphorically refers to the topic state via the aspect feature of the verbal predicate. This proposal explains why Mandarin ｡-sentences have controversial boundaries, since speakers may disagree where one topic state ends and the next one begins. It also explains various manifestations of aspect-prominence and topic-prominence in (...) Mandarin discourse. In Bittner (2014), this proposal is formally implemented in Categorial Grammar and a new dynamic logic called Update with Centering. (shrink)

Most theories of conditionals and attitudes do not analyze either phenomenon in terms of the other. A few view attitude reports as a species of conditionals (e.g. Stalnaker 1984, Heim 1992). Based on evidence from Kalaallisut, this paper argues for the opposite thesis: conditionals are a species of attitude reports. The argument builds on prior findings that conditionals are modal topic-comment structures (e.g. Haiman 1978, Bittner 2001), and that in mood-based Kalaallisut English future (e.g. Ole will win) translates into (...) a factual report of a prospect-oriented attitudinal state (e.g. expectation or anxiety, see Bittner 2005). It is argued that in conditionals the antecedent introduces a topical subdomain of an input modal base (Kratzer 1981) and requires the consequent to comment. The comment is a factual report of an attitude to the topical antecedent sub-domain. [This paper was published in 2011 as "Time and modality without tenses or modals"]. (shrink)

This book surveys the ways in which languages of different types refer to past, present, and future events and how these referents are related to the knowledge and attitudes of discourse participants. The book is the culmination of fifteen years of research by the author. Four major language types are examined in-depth: tense-based English, tense-aspect-based Polish, aspect-based Chinese, and mood-based Kalaallisut. Each contributes to a series of logical representation languages, which together define a common logical language that is argued to (...) underlie all language types. The four types differ in whether they choose to grammaticalize discourse reference to times (tense), events (aspect), and/or attitudes (mood), and how non-grammaticalized elements are inferred. The common logical language is a dynamic update logic, building on DRT and Centering Theory, but with a novel architecture—e.g. the distinction between focal vs. peripheral attention plays a key role, parallel to focal vs. peripheral vision. (shrink)

El Foro Global de Bioética en Investigación (GFBR por sus siglas en inglés) se reunió el 3 y 4 de noviembre en Buenos Aires, Argentina, con el objetivo de discutir la ética de la investigación con mujeres embarazadas. El GFBR es una plataforma mundial que congrega a actores clave con el objetivo de promover la investigación realizada de manera ética, fortalecer la ética de la investigación en salud, particularmente en países de ingresos bajos y medios, y promover colaboración entre países (...) del norte y del sur.a Los participantes en el GFBR provenientes de Latinoamérica incluyeron a eticistas, investigadores, miembros de comités de ética y representantes de autoridades sanitarias provenientes de Argentina, Brasil, Chile, Colombia, Ecuador, El Salvador, Guatemala, Honduras, Panamá, Perú, Nicaragua y la República Dominicana. Una legítima preocupación por la protección de las mujeres embarazadas y sus embriones o fetos ha llevado a la mayoría de los países de la Región de las Américas a limitar la realización de estudios con mujeres embarazadas exclusivamente a aquellos estudios específicos sobre el embarazo, y a requerir la exclusión sistemática de las mujeres embarazadas o de las mujeres que quedan embarazadas en el curso del estudio. Ciertamente, a lo largo de la historia de la ética de la investigación, se ha creído erróneamente que proteger a una población es sinónimo de excluirla de los estudios. Se sabe ahora que proceder así implica exponer a riesgos mucho mayores a la población que se busca proteger. El embarazo implica cambios fisiológicos sustantivos e impacta profundamente la manera como el cuerpo metaboliza los medicamentos. Sin embargo, por evitar hacer investigación con mujeres embarazadas, no se ha producido la evidencia científica necesaria para tomar decisiones sobre tratamientos e intervenciones preventivas con dosis eficaces y seguras para ellas y sus embriones o fetos. A manera de ilustración, en el 2001 había en los Estados Unidos apenas más de una docena de medicamentos aprobados para uso en el embarazo (1) y en el 2011 la Food and Drug Administration (FDA) aprobó por primera vez en 15 años un medicamento para su uso en el embarazo (2). Como consecuencia de no haber producido la evidencia necesaria, se pone en riesgo la salud de las mujeres embarazadas cada vez que se les da atención médica. Las mujeres embarazadas se enferman y las mujeres enfermas se embarazan, y no se sabe si los medicamentos que se les da son eficaces o siquiera seguros para ellas y sus embriones o fetos. (shrink)

There are some who defend a view of vagueness according to which there are intrinsically vague objects or attributes in reality. Here, in contrast, we defend a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being (...) its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this theory provides a general framework within which we can understand the relation between vague terms and concepts on the one hand and correlated portions of reality on the other. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. (shrink)

Abstract: We propose a view of vagueness as a semantic property of names and predicates. All entities are crisp, on this semantic view, but there are, for each vague name, multiple portions of reality that are equally good candidates for being its referent, and, for each vague predicate, multiple classes of objects that are equally good candidates for being its extension. We provide a new formulation of these ideas in terms of a theory of granular partitions. We show that this (...) theory provides a general framework within which we can understand the relation between vague terms and concepts and the corresponding crisp portions of reality. We also sketch how it might be possible to formulate within this framework a theory of vagueness which dispenses with the notion of truth-value gaps and other artifacts of more familiar approaches. Central to our approach is the idea that judgments about reality involve in every case (1) a separation of reality into foreground and background of attention and (2) the feature of granularity. On this basis we attempt to show that even vague judgments made in naturally occurring contexts are not marked by truth-value indeterminacy. We distinguish, in addition to crisp granular partitions, also vague partitions, and reference partitions, and we explain the role of the latter in the context of judgments that involve vagueness. We conclude by showing how reference partitions provide an effective means by which judging subjects are able to temper the vagueness of their judgments by means of approximations. (shrink)

Two senses of ‘ontology’ can be distinguished in the current literature. First is the sense favored by information scientists, who view ontologies as software implementations designed to capture in some formal way the consensus conceptualization shared by those working on information systems or databases in a given domain. [Gruber 1993] Second is the sense favored by philosophers, who regard ontologies as theories of different types of entities (objects, processes, relations, functions) [Smith 2003]. Where information systems ontologists seek to maximize reasoning (...) efficiency even at the price of simplifications on the side of representation, philosophical ontologists argue that representational adequacy can bring benefits for the stability and resistance to error of an ontological framework and also for its extendibility in the future. In bioinformatics, however, a third sense of ‘ontology’ has established itself, above all as a result of the successes of the Gene Ontology (hereafter: GO), which is a tool for the representation and processing of information about gene products and their biological functions [Gene Ontology Consortium 2000]. We show how Basic Formal Ontology (BFO) has established itself as an overarching ontology drawing on all three of the strands distinguished above, and describe applications of BFO especially in the treatment of biological granularity. (shrink)

: This study describes a new field method, suited for investigating scope relations — and other aspects of truth conditional meaning — with native speaker consultants who may speak no other language and have no background in linguistics or logic. This method revealed a surprising scope contrast between the antipassive and the ergative construction in Greenlandic Eskimo. The results of this field work are described in detail and a crosslinguistic scope generalization is proposed based on Greenlandic Eskimo, Basque, Polish, Russian, (...) Finnish and English. (shrink)